logic in programming程序设计中的逻辑
Logic solver programming function逻辑程序功能
logic constraint programming约束逻辑程序
logic of programming程序设计逻辑
Mathematical Logic and Programming language数理逻辑和程序设计语言
Logic Programming Language逻辑式语言;逻辑程序语言;逻辑式程序设计语言;逻辑
Computationally Extended Logic Programming计算延伸逻辑程序设计
disjunctive logic programming析取逻辑程序
N（名词） the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments 逻辑程序设计